Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 3.Ident. | Authors (with country if any) | Title |
---|---|---|
003871 | Michael Leuschel [Allemagne] ; Dominique Cansell [France] ; Michael Butler [Royaume-Uni] | Validating and Animating Higher-Order Recursive Functions in B |
006E55 | Dominique Cansell [France] ; Stefan Hallerstede ; Ian Oliver [Allemagne] | UML-B specification and hardware implementation of a Hamming coder/decoder |
009F87 | Dominique Cansell [France] ; Dominique Méry [France] ; Stephan Merz [Allemagne] | Predicate diagrams for the verification of reactive systems |
This area was generated with Dilib version V0.6.33. |